proof with sets

visit shbcf.ru